

:- op(540, xfx, (==>)).
:- op(550, xfx, (:= )).
